Computer Aided Transformation of Z into Prolog. - A. J. J. Dick; Paul J. Krause; J. Cozens (Z User Workshop, 1989)