SpringerLink (Online service), Colloquium on Temporal Logic in Specification, Banieqbal, B., Barringer, H., & Pnueli, A. (1989). Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Colloquium on Temporal Logic in Specification, B. Banieqbal, Howard Barringer, and Amir Pnueli. Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987 : Proceedings. Berlin ; New York: Springer-Verlag, 1989.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987 : Proceedings. Springer-Verlag, 1989.
Warning: These citations may not always be 100% accurate.