Jeffrey J. Joyce Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. 384-409 1988 conf/facs/1988 Specification and Verification of Concurrent Systems db/conf/facs/facs1988.html#Joyce88