neuper@38079: @Book{pl:milner97,
neuper@38079:   author = 	 {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
neuper@38079:   title = 	 {The Definition of Standard ML (Revised)},
neuper@38079:   publisher = 	 {The MIT Press},
neuper@38079:   year = 	 1997,
neuper@38079:   address =	 {Cambridge, London},
neuper@38079:   annote =	 {97bok375}
neuper@38079: }
neuper@38079: 
neuper@38079: @Article{back-grundy-wright-98,
neuper@38079:   author = 	 {Back, Ralph and Grundy, Jim and von Wright, Joakim},
neuper@38079:   title = 	 {Structured Calculational Proof},
neuper@38079:   journal = 	 {Formal Aspects of Computing},
neuper@38079:   year = 	 {1998},
neuper@38079:   number = 	 {9},
neuper@38079:   pages = 	 {469-483}
neuper@38079: }
neuper@38079: 
neuper@38079: @Manual{isar-impl,
neuper@38079:   title = 	 {The {Isabelle/Isar} Implementation},
neuper@38079:   author = 	 {Makarius Wenzel},
neuper@38079:   month = 	 {April 19},
neuper@38079:   year = 	 {2009},
neuper@38079:   note = 	 {With contributions by Florian Haftmann and Larry Paulson}
neuper@38079: }
neuper@38079: 
neuper@38079: @InProceedings{wenzel:isar,
neuper@38079:   author = 	 {Wenzel, Markus},
neuper@38079:   title = 	 {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
neuper@38079:   booktitle = 	 {Theorem Proving in Higher Order Logics},
neuper@38079:   year = 	 {1999},
neuper@38079:   editor = 	 {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
neuper@38079:   series = 	 {LNCS 1690},
neuper@38079:   organization = {12th International Conference TPHOLs'99},
neuper@38079:   publisher = {Springer}
neuper@38079: }