Miranda in Isabelle (1995)

by Steve Hill, Simon Thompson
Venue:Proceedings of the first Isabelle Users Workshop, number 397 in University of Cambridge Computer Laboratory Tech. Report Series