Author: Bernard Sufrin

Publications

Co-authors

Jeff W. Sanders

1

Ib Holm Soerensen

1

J. Michael Spivey

1

Productive Colleagues

Jifeng He

2

A. W. Roscoe

3

C. A. R. Hoare

14

Publications

Hoare, C. A. R., Hayes, Ian J., He, Jifeng, Morgan, Carroll, Roscoe, A. W., Sanders, Jeff W., Soerensen, Ib Holm, Spivey, J. Michael, Sufrin, Bernard (1987): Laws of Programming. In Communications of the ACM, 30 (8) pp. 672-686.

Sufrin, Bernard (1986): Formal Methods and the Design of Effective User Interfaces. In: Harrison, Michael D., Monk, Andrew (eds.) Proceedings of the Second Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers II August 23-26, 1986, University of York, UK. pp. 24-43.