1
The sigma semantics: a comprehensive semantics for functional programs /
Book
Subject (ZB): ...semantics...