John Derrick, Graeme Smith. Linear Temporal Logic and Z Refinement. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 117-131, Springer, 2004. [doi]
Abstract is missing.