Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings Banieqbal Behnam Heftet / 1989 / Engelsk
