Program developments: formal explanations of implementations (1983)

by D S Wile