Computer Aided Verification. - Bochmann, G.V. (Lecture Notes in Computer Science Ser.)