Reinhard Gotzhein Gregor von Bochmann Deriving Protocol Specifications from Service Specifications Including Parameters. 255-283 1990 8 ACM Trans. Comput. Syst. 4 http://doi.acm.org/10.1145/128733.128734 db/journals/tocs/tocs8.html#GotzheinB90