- Maria C. Yuang, Aaron Kershenbaum:
Parallel Protocol Verification: The Two-Phase Algorithm and Complexity Analysis. Automatic Verification Methods for Finite State Systems 1989: 303-316 - Han Zuidweg:
Verification by Abstraction and Bisimulation. Automatic Verification Methods for Finite State Systems 1989: 105-116