Sequential Calculus - von Karger, B; Hoare, C (1995)