G.V. Bochman

Bibliography

Bochman, G. V. and Gecsei, J. 1977. “A Unified Method for the Specification and Verification of Protocols.” in Information Processing 77, edited by B. Gilchrist, pp. 229–234. Amsterdam: North-Holland Publishing Co.