1
by O'Hearn, Peter, Tennent, Robert
Published 1997
Birkhäuser
... anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax...