Monika Kapus-Kolar. Deriving protocol specifications from service specifications including parameters. Journal of Systems Architecture, 32(1-5):731-738, 1991. [doi]
@article{Kapus-Kolar91, title = {Deriving protocol specifications from service specifications including parameters}, author = {Monika Kapus-Kolar}, year = {1991}, doi = {10.1016/0165-6074(91)90429-W}, url = {https://doi.org/10.1016/0165-6074(91)90429-W}, researchr = {https://researchr.org/publication/Kapus-Kolar91}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {32}, number = {1-5}, pages = {731-738}, }