Abramsky, S. editor, Ninth Annual Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press.

• Miller, D. (1994) Miller, D. "A multiple-conclusion meta-logic"