1. The practical guide to structured systems design;Page-Jones,1980
2. Principles of program design;Jackson,1975
3. The entity-relationship model: toward a unified view of data;Chen;ACM Trans. Database Syst.,1976
4. Information processing systems-open systems interconnection, LOTOS—a formal description technique based on the temporal ordering of observational behaviour;International Organization for Standardization,1985
5. Algebra of communicating processes;Bergstra,1986