According to our database1, P. Luostarinen authored at least 2 papers between 1992 and 1993.
Legend:Book In proceedings Article PhD thesis Other
Mechanizing Some Advanced Refinement Concepts.
Formal Methods in System Design, 1993
Mechanising some Advanced Refinement Concepts.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992