%0 Book
%A J.P. Myers, Jr., M.J. O'Donnell, eds
%T Constructivity in computer science : Summer Symposium: San Antonio, TX, June 19-22, 1991: proceedings
%U /book/101373656/Constructivity-in-computer-science-Summer-Sympos/