The RAISE Language, Method and Tools. - Mogens Nielsen; Klaus Havelund; Kim Ritter Wagner; Chris George (Formal Aspects Comput., 1989)

Abstract Pre-Orders. - Kim Ritter Wagner (TACS, 1994)

Liminf Convergence in Omega-Categories. - Kim Ritter Wagner (Theor. Comput. Sci., 1997)