1. S. Abramsky D. M. Gabbay T. S. E. Maibaum Handbook of Logic in Computer Science 1 Clarendon Press Oxford, UK 1992
2. Software Engineering;Boehm;IEEE Transactions on Computing,1976
3. Object-Oriented Development;Booch;IEEE Transactions on Software Engineering,1986
4. E. F. Codd Data Models in Database Management Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modeling Pingree Park, CO 1980
5. T. A. Dolotta J. R. Mashey An Introduction to the Programmer's Workbench Proceedings of the 2nd ICSE San Francisco, CA 1976 146 168