Leram - Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings