Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. - Pavol Návrat; Ludovít Molnár; Vladimir Vojtek (EUROCAL, 1987)

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