References
- Kowalski , R. A. 1985 . “ The Relationship between Logic Programming and Logic Specification ” . In Mathematical logic and Programming Languages , Edited by: Hoare , C. A. R. and Sherpherdson , J. C. 11 – 27 . Prentice-Hall .
- Lloyd , J. W. 1987 . Foundations of Logic Programming , Springer-Verlag .
- Naish , L. 1987 . “ Specification = Program + Types ” . In Foundations of Software Technology and Theoretical Computer Science , 326 – 339 . Springer-Verlag . Lecture Notes in Computer Science 287
- Pettorossi , A. 1987 . “ Program Development Using Lambda Abstraction ” . In Foundations of Software Technology ogy and Theoretical Computer Science , 420 – 434 . Springer-Verlag . Lecture Notes in Computer Science 287
- Tamaki , H. and Sato , T. 1984 . Proceedings of 2nd International Conference on Logic Programming . Unfold/Fold Transformation of Logic Programs . July 1984 . pp. 127 – 138 . Uppsala
- Tse , T. H. 1987 . Integrating the Structured Analysis and Design Models: A Category-Theoretic Approach . The Australian Computer Journal , 19 ( 1 ) July : 25 – 31 .
- Yan S. Y. A Declarative Testing-Debugging Approach to Logic Program Development Department of Computer Science, La Trobe University Melbourne 1991 Technical Report 16/91
- Yu J. On the Development of Logic Programs, Manuscript Department of Computer Science, The University of Melbourne Australia 1988