Kim Guldstrand Larsen Arne Skou Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings CAV Lecture Notes in Computer Science 575 Springer 1992 3-540-55179-4 db/conf/cav/cav91.html