1
by Winskel, G.
Published 1993
MIT Press