HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.

Christoph Lüth Einar W. Karlsen Kolyang Stefan Westmeier Burkhart Wolff HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. 116-134 1998 conf/zum/1998 ZUM db/conf/zum/zum1998.html#LuthKKWW98