Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993. - Courcoubetis, Costas (Lecture notes in computer science, 1993)