Proof of Algorithms by General Snapshots (1966)

by P Naur
Venue:BIT