Book

Theoretical Foundations of Programming Methodology

by M. Broy, Günther Schmidt