Specifying and Refining Internal Operations in Z

John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen. Specifying and Refining Internal Operations in Z. Formal Asp. Comput., 10(2):125-159, 1998.

Abstract

Abstract is missing.