1. Berztiss, A. & S. Thatte. Specification and Implementation of Abstract Data Types. Advances in Computers, Vol.22, pp.295–353, 1983.
2. Clark, K. & S. Tarnlund. A first order theory of data and programs. Information Processing (IFIP) '77, North-Holland, pp.939–944, 1977.
3. Clocksin, W.F. & C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981.
4. Cardelli L. & P. Wegner. On understanding Types, Data Abstraction and Polymorphism. Computing Surveys, Vol.17, No.4, December 1985, ACM, pp.471–522, 1986.
5. Dayantis George. Logic program derivation for a class of first-order logic relations. In: Proc. 10th IJCAI, Vol.1, pp.9–15, 1987.