Kim Ritter Wagner

	1997
4		Kim Ritter Wagner: Liminf Convergence in Omega-Categories. Theor. Comput. Sci. 184(1-2): 61-104 (1997)
	1994
3		Kim Ritter Wagner: Abstract Pre-Orders. TACS 1994: 598-617
	1989
2		Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. Formal Asp. Comput. 1(1): 85-114 (1989)
	1988
1		Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. VDM Europe 1988: 376-405

Coauthor Index

1	Chris George	[1] [2]
2	Klaus Havelund	[1] [2]
3	Mogens Nielsen	[1] [2]