Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic (1988)

by J J Joyce