A Connotational Theory of Program Structure - Royer, James S. (Springer-Verlag, 1987)
Rejstř.