Formal software development with Isabelle. http://www.tzi.de/~cxl/awe/sfd.pdf (2006)

by E B Johnsen, C Lüth, M Bortin