Design and Proof of a Mail Service
C.A.R. Hoare and H. Jifeng
Book Title
6th Annual International Phoenix Conference on Computers and Communications — Conference Proceedings Scottsdale‚ AZ‚ USA 25–27 February‚ 1987
Editor
O. Friesen and F. Golshani
Pages
272–5
Publisher
IEEE
Year
1987