Programming as Contracting (1988)

by B Meyer