Reasoning in CSP via the HOL theorem prover. - Albert John Camilleri (Jerusalem Conference on Information Technology, 1990)

Mechanizing CSP Trace Theory in Higher Order Logic. - Albert John Camilleri (IEEE Trans. Software Eng., 1990)

Combining Interaction and Automation in Process Algebra Verification. - Albert John Camilleri; Paola Inverardi; Monica Nesi (TAPSOFT, Vol.2, 1991)

Industrial Application of Theorem Proving to System Level Design. - Simon Bainbridge; Albert John Camilleri; Roger Fleming (TPHOLs, 1991)

Theorem Proving as an Industrial Tool for System Level Desgin. - Simon Bainbridge; Albert John Camilleri; Roger Fleming (TPCD, 1992)

Studies of the Single Pulser in Various Reasoning Systems. - Steven D. Johnson; Paul S. Miner; Albert John Camilleri (TPCD, 1994)

A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. - Albert John Camilleri (TPHOLs, 1997)

A Role for Theorem Proving in Multi-Processor Design. - Albert John Camilleri (CAV, 1998)