Mathematical models for computing (1994)

by C A R Hoare