Temporal logic in specification - Banieqbal B (Berlin Springer Verlag, 1989)
Keywords: Programming language; Temporal logic