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