Formal Specification of a Display-Oriented Text Editor. - Bernard Sufrin (Sci. Comput. Program., 1982)

Specification of the UNIX Filing System. - Carroll Morgan; Bernard Sufrin (IEEE Trans. Software Eng., 1984)

Laws of Programming. - C. A. R. Hoare; Ian J. Hayes; Jifeng He 001; Carroll Morgan; A. W. Roscoe 001; Jeff W. Sanders; Ib Holm Sørensen; J. Michael Spivey; Bernard Sufrin (Commun. ACM, 1987)

Towards the formal specification of a simple programming support environment. - Bernard Sufrin; Jim Woodcock 001 (Softw. Eng. J., 1987)

Effective Industrial Application of Formal Methods. - Bernard Sufrin (IFIP Congress, 1989)

Type Inference in Z. - J. Michael Spivey; Bernard Sufrin (VDM Europe, 1990)

Deduction for Functional Programmers. - James J. Leifer; Bernard Sufrin (J. Funct. Program., 1996)

Jape: A Calculator for Animating Proof-on-Paper. - Richard Bornat; Bernard Sufrin (CADE, 1997)

Computer science undergraduates learning logic using a proof editor: work in progress. - James Aczel; Pat Fung; Richard Bornat; Martin Oliver; Tim O'Shea; Bernard Sufrin (PPIG, 1999)

Animating Formal Proof at the Surface: The Jape Proof Calculator. - Richard Bornat; Bernard Sufrin (Comput. J., 1999)

A Minimal Graphical User Interface for the Jape Proof Calculator. - Richard Bornat; Bernard Sufrin (Formal Aspects Comput., 1999)

Eclectic CSP: A Language of Concurrent Processes. - Quentin Miller; Bernard Sufrin (SAC (2), 2000)

Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms. - James Aczel; Pat Fung; Richard Bornat; Martin Oliver; Tim O'Shea; Bernard Sufrin (Br. J. Educ. Technol., 2003)

Communicating Scala Objects. - Bernard Sufrin (CPA, 2008)

Interpreting dreams of abstract machines. - Bernard Sufrin (Ada Lovelace Symposium, 2015)

Teaching at Belfast and Oxford. - Bernard Sufrin (Theories of Programming, 2021)