Programming by induction - Gries, David (Cornell University <Ithaca, NY> / Department of Computer Science: Technical report, 1971)