1
by Dijkstra, Edsger W., Scholten, Carel S.
Published 1990
Springer New York
Subjects: '; ...Computer logic...