Foundations of software technology and theoretical computer science Proceedings of the 6th conference New Delhi, India, Decdmber 18-20, 1986 - Nori, Kesav V. (Springer-Verlag, 1986)
περιέχει βιβιλιογραφικές αναφορές. Θανάσης Χατζηλάκος