P. Luostarinen

	1993
3		Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanizing Some Advanced Refinement Concepts. Formal Methods in System Design 3(1/2): 49-81 (1993)
	1992
2		Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanising some Advanced Refinement Concepts. TPHOLs 1992: 307-326
1		Mauno Vihinen, A. Euranto, P. Luostarinen, Olli Nevalainen: MULTICOMP: a program package for multiple sequence comparison. Computer Applications in the Biosciences 8(1): 35-38 (1992)

Coauthor Index

1	A. Euranto	[1]
2	Jukka Hekanaho	[2] [3]
3	Thomas Långbacka	[2] [3]
4	Olli Nevalainen	[1]
5	Mauno Vihinen	[1]
6	Joakim von Wright	[2] [3]

Colors in the list of coauthors