Temporal logic in specification: proceedings : ALTRINCHAM, UK, APRIL 8-10, 1987. - Banieqbal, B. (Springer Verlag, 1989)