Skip to main content

Sequential Calculus

Burghard von Karger and C. A. R. Hoare

Journal
Inf. Process. Lett.
Number
3
Pages
123−130
Volume
53
Year
1995