1. R.J. Abbott, D.K. Moorhead, Software requirements and specifications: A survey of needs and languages, The Journal of Systems and Software, No 2 1981, pp 297–316
2. R.J. Abbott, An Integrated Approach to Software Development, WILEY Interscience Publication, John Wiley&Sons 1986
3. F. Belina, D. Hogrefe, The CCITT-Specification and Description Language SDL, Computer Networks and ISDN Systems, No 16 1988/89, pp 311–341
4. J.P. Calvez, O. Pasquier, A TRANSputer interconnection BUS for real-time systems, TRANSPUTERS’92, Arc-et-Senans, France, May 20–22 1992, M. Becker et al., Ed. IOS Press, pp 273–283
5. J.P. Calvez, Embedded Real-Time Systems. A Specification and Design Methodology, John Wiley 1993