International Conference on Computer Logic, Tallinn, Estonia, Martin-Löf, P., & Mint︠s︡, G. E. (1990). COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings. Springer-Verlag.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)International Conference on Computer Logic, Tallinn, Estonia, Per Martin-Löf, và G. E. Mint︠s︡. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : Proceedings. Berlin ; New York: Springer-Verlag, 1990.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)International Conference on Computer Logic, Tallinn, Estonia, et al. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : Proceedings. Springer-Verlag, 1990.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.