Logic and the Challenge of Computer Science (1988)

by Y Gurevich
Venue:Theory and Practice of Software Engineering