Logic and the challenge of computer science (1987)

by Y Gurevich
Venue:In Current Trends in Theoretical Computer Science, E BSrger, ed , pp 1-57 Computer Science