%0 Book
%F Winskel93
%A Winskel93, Glynn
%T The Formal Semantics of Programming Languages - an Introduction
%I The MIT Press
%@ 0262231697
%D 1993