@inproceedings{MRS_SEEFM05, author = "P. Massuthe and W. Reisig and K. Schmidt", title = "{An Operating Guideline Aproach to the SOA}", booktitle = "2nd South-East European Workshop on Formal Methods (SEEFM 05), Formal Methods: Challenges in the Business World, Ohrid, 18-19 Nov 2005", month = jun, editor = "G. Eleftherakis", publisher = "South-East European Research Centre (SEERC)", year = "2006", isbn = "960-87869-8-3", pages = "44--58" };