Temporal logic in specification: proceedings : ALTRINCHAM, UK, APRIL 8-10, 1987. - Banieqbal, B.; Barringer, H. (Lecture Notes in Computer Science ;, 1989)