Title: Functional interpretation of programming models
First published: 1990