Logic and the challenge of computer science, (1988)

by Y Gurevich
Venue:Current Trends in Theoretical Computer Science,