1. R. Abraham, Evaluating generalized tabular expressions in software documentation, M. Eng. Thesis, Dept. of Electrical and Computer Engineering, McMaster University 1997, also CRL Report 346, McMaster University, Hamilton, Ontario, Canada, 1997. Available at http://www.crl.mcmaster.ca/SERG/serg.publications.html.
2. Foundations of Computer Science;Aho,1992
3. On cylindric-relativized set algebras;Andréka,1981
4. G.H. Archinoff, R.J. Hohendorf, A. Wassyng, B. Quigley, M.R. Borsch, Verification of the shutdown system software at the Darlington nuclear generating station, Int. Conf. on Control and Instrumentation in Nuclear Installations, Glasgow, UK, 1990, No. 4.3.
5. Relational algebraic semantics of deterministic and nondeterministic programs;Berghammer;Theoret. Comput. Sci.,1986