Now you may compose temporal logic specifications (1984)

by H Barringer, R Kuiper, A Pnueli
Venue:Proceedings 16th Annual ACM Symposium on Theory of Computing