Georg Rock, Werner Stephan 0001, Andreas Wolpers. Modular reasoning about structured TLA specifications. In Rudolf Berghammer, Yassine Lakhnech, editors, Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998. Advances in computing science, pages 217-229, Springer, 1998. [doi]
Abstract is missing.