The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Communications of the ACM
Scientific Pascal
An Approach to Correctness Proofs of Semicoroutines
Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science
Simula Begin
Hi-index | 0.00 |