1. J.R.Abrial: “A Low Level File Handler Design”, Oxford Univ.Comp.Lab.,PRG, April 1980.
2. J.A.Goguen,J.W.Thatcher,E.G.Wagner & J.B.Wright: “An Initial Algebra Approach to the Specification, Correctness & Implementation of Abstract Data Types”,in ‘Current Trends in Programming Methodology’ “Data Structuring”,ed.R.Yeh,Prentice-Hall,1978.
3. J.R. Arsac: “Syntactic Source to Source Transforms and Program Manipulation”,CACM, vol.22,No.1,1979,pp 43–54.
4. H. Bekić & K. Walk: “Formalization of Storage Properties”,in: ‘Formal Semantics of Algorithmic Languages', ed. E. Engeler, Springer-Verlag, LN in Math., vol.188,1971.
5. IBM Techn.Rpt.;H. Bekić,1974