An abstract view of programming languages (1989)

by E Moggi