A logical analysis of information systems : static aspects of the data-oriented perspective - Halpin, Terence A. (Terence Aidan) (1989)