Aspects of abstraction in computing. - Timothy Joseph Gleeson (1989)