System Specification and Refinement in Temporal Logic (1995)

by Amir Pnueli
Venue:Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 652 of LNCS