Title: Language in action
Subtitle: categories, lambdas and dynamic logic
First published: 1991