"A Specification Construction Unit-Based Editor for Z."

Hiroshi Ishikawa (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics