Information systems theoretical and formal aspects - Sernadas, A. (North- Holland, Amsterdam, 1985)