-J.P. Myers, Jr./M.J. O'Donnell (Eds.): Constructivity in Computer Science, Proceedings 1991, Springer-Verlag 1992