Proof of algorithms by general snapshots
โ
Peter Naur
๐
Article
๐
1966
๐
Springer Netherlands
๐
English
โ 481 KB