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