|
neuper@38079
|
1 |
@Book{pl:milner97,
|
|
neuper@38079
|
2 |
author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
|
|
neuper@38079
|
3 |
title = {The Definition of Standard ML (Revised)},
|
|
neuper@38079
|
4 |
publisher = {The MIT Press},
|
|
neuper@38079
|
5 |
year = 1997,
|
|
neuper@38079
|
6 |
address = {Cambridge, London},
|
|
neuper@38079
|
7 |
annote = {97bok375}
|
|
neuper@38079
|
8 |
}
|
|
neuper@38079
|
9 |
|
|
neuper@38079
|
10 |
@Article{back-grundy-wright-98,
|
|
neuper@38079
|
11 |
author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
|
|
neuper@38079
|
12 |
title = {Structured Calculational Proof},
|
|
neuper@38079
|
13 |
journal = {Formal Aspects of Computing},
|
|
neuper@38079
|
14 |
year = {1998},
|
|
neuper@38079
|
15 |
number = {9},
|
|
neuper@38079
|
16 |
pages = {469-483}
|
|
neuper@38079
|
17 |
}
|
|
neuper@38079
|
18 |
|
|
neuper@38079
|
19 |
@Manual{isar-impl,
|
|
neuper@38079
|
20 |
title = {The {Isabelle/Isar} Implementation},
|
|
neuper@38079
|
21 |
author = {Makarius Wenzel},
|
|
neuper@38079
|
22 |
month = {April 19},
|
|
neuper@38079
|
23 |
year = {2009},
|
|
neuper@38079
|
24 |
note = {With contributions by Florian Haftmann and Larry Paulson}
|
|
neuper@38079
|
25 |
}
|
|
neuper@38079
|
26 |
|
|
neuper@38079
|
27 |
@InProceedings{wenzel:isar,
|
|
neuper@38079
|
28 |
author = {Wenzel, Markus},
|
|
neuper@38079
|
29 |
title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
|
|
neuper@38079
|
30 |
booktitle = {Theorem Proving in Higher Order Logics},
|
|
neuper@38079
|
31 |
year = {1999},
|
|
neuper@38079
|
32 |
editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
|
|
neuper@38079
|
33 |
series = {LNCS 1690},
|
|
neuper@38079
|
34 |
organization = {12th International Conference TPHOLs'99},
|
|
neuper@38079
|
35 |
publisher = {Springer}
|
|
neuper@38079
|
36 |
}
|