p 109-117 April 1986 NIEL84a * Nielson F. Abstract Interpretation Using Domain Theory Department of Computer Science, University of Edinburgh Phd Thesis, CST-31-84 October 1984 NIEL * Nielson F. A Bibliography On Abstract Interpretation NIPK85a * Nipkow T. Non-Deterministic Data Types: Models and Implementations Dept of Comp Sci, Univ of Manchester, Technical Report UMCS-85-10-1 October 1985 NISH83a Nishikawa H. & Yokota M. & Yamamoto A. & Taki K. & Uchida S. The Personal Inference Machine (PSI) : Its design Philosophy and Machine Architecture ( Also in "Proceedings of Logic Programming Workshop, '83", Portugal 1983 ) ICOT Research center, Technical report TR-013 June 1983 NIVA82a Nivat M. Behaviours of Processes and Synchronised Systems of P