An Abstract View of Programming Languages (1989)

by E Moggi