Specification and verification of context conditions for programming languages - Kaplan, Simon Mark (Department of Computer Science, 2015)
Bibliography: p. 204-211.