Implementing FS0 in Isabelle: adding structure at the metalevel (1996)

by S Matthews
Venue:University of Cambridge Computer Laboratory