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

Viewing Formal Specifications in Z on World Wide Web. - Lubos Mikusiak; Miroslav Adámy (EUROMEDIA, 1996)

Publishing Formal Specifications in Z Notation on World Wide Web. - Lubos Mikusiak; Miroslav Adámy; Thomas Seidmann (TAPSOFT, 1997)