Semantics with Applications: A Formal Introduction (1992)

by H R Nielson, F Nielson
Venue:Wiley Professional Computing