Programming from first principles - Bornat, Richard 1944- (Prentice-Hall international series in computer science, 1987)