Structured formal development in Isabelle (2006)

by M Bortin, E B Johnsen, C Lueth
Venue:Nordic Journal of Computing