Winskel, Glynn
The formal semantics of programming languages - USA MIT Press 1993 - 361 - Foundations of computing .
0 262 73103 7
681.3 WIN
The formal semantics of programming languages - USA MIT Press 1993 - 361 - Foundations of computing .
0 262 73103 7
681.3 WIN