T. Balstrøm, “ - (Lecture notes in Computer Science 471)”., gt, bd. 92, jan. 1992.