1. The Programming Language Ada: Reference Manual. LNCS 106, Springer 1980.
2. Bauer, F.L. et al The Wide Spectrum Language CIP-L. LNCS 183, Springer 1985.
3. LNCS 428;M. Bednarczyk,1990
4. Bednarczyk, M., Borzyszkowski, A., Pawłowski, W. Recursive definitions revisited. In: VDM and Z — Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990, Kiel, LNCS 428, pp. 452–476, Springer 1990.
5. Bednarczyk, M., Borzyszkowski, A., Pawłowski, W. Towards the semantics of the definitional language of MetaSoft: Dependent types. Technical report, Institute of Computer Science PAS, Gdańsk, December 1991.