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