Computer aided verification : international conference, CAV : proceedings. (Lecture notes in computer science., 1989)