Samit Khosla T. S. E. Maibaum The Prescription and Description of State Based Systems. 243-294 1987 conf/tls/1987 Temporal Logic in Specification db/conf/tls/tls1987.html#KhoslaM87