Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings / - Myers, J. P.; O'Donnell, Michael J., (Springer-Verlag,, 1992)