Teaching the Mathematics of Program Construction

31^st October 2000, 16:00
Professor Roland Backhouse
University of Nottingham.