1. Brink C., Kahl W. and Schmidt G. (Eds.) (1997) Relational Methods in Cornputer Science. Springer
2. NRL Memorandum Report 4658;PC Clements,1981
3. Desharnais J., Frappier M., Khédri R. and Mili A. (1998) Integration of sequential scenarios. IEEE Trans. on Software Engineering, 24(9):695–708, September
4. Gibbons J. (1994) An introduction to the Bird-Meertens formalism. Available at
http://www.brookes.ac.uk
/∼p0071749/, November
5. Gilman L. and Rose A.J. (1976) APL: An Interactive Approach. John Wiley & Sons, New York, 2nd edition