Z Browser - A Tool for Visualization of Z Specifications. - Lubos Mikusiak; Vladimir Vojtek; Jozef Hasaralejko; Jana Hanzelová (ZUM, 1995)