Semi-automated Mathematics (1969)

by J R Guard, F C Oglesby, J H Bennett, L G Settle
Venue:U. of Toronto