Derek J Andrews

Semantics of Specification Languages (Sosl)
Theory and Practice of Program Development