COLOG-88 International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings Martin-Löf, Per Heftet / 1990 / Engelsk
