Mathematical Theory of Program Correctness - Bakker, J. W. de 1939- (Prentice Hall, 1980)
Věc. rejstř.