Proof of algorithms by general snapshots (1966)

by P Naur
Venue:B/T