1. Aho, A.V., J.E. Hopcroft and J.D. Ullman. Date Structures and Algorithms. Addison-Wesley, Reading, 1985, 96–102.
2. Back, R.-J. On the correctness of refinement steps in program development. Report A-1978-4, Computer Science Department, University of Helsinki, 1978.
3. Chen, W., and J.T. Udding. Towards a calculus of data refinement. LNCS 375, Mathematics of Program Construction, Springer Verlag, New York, 1989.
4. Dijkstra, E.W. A Discipline of Programming. Prentice Hall, Englewood Cliffs, New Jersey, 1976.
5. Dijkstra, E.W., and C.S. Scholten. Predicate Calculus and Program Semantics. Springer Verlag, New York, 1989.