Information systems
Subtitle: theoretical and formal aspects : proceedings of the IFIP WG 8.1 working conference on ...
By: edited by  A. Sernadas, J. Bubenko and A. Olivé.
Contributors: Olivé, A.; Bubenko, J.; Sernadas, A.; International Federation for Information Processing. Working Group 8.1.
Publisher: North-Holland
Published: 1985
Place of publication: Amsterdam; Oxford
Language: eng