changeset 10970 | 7917e66505a4 |
parent 10796 | c0bcea781b3a |
child 11197 | 4b365574c7c4 |
1.1 --- a/doc-src/manual.bib Wed Jan 24 00:06:32 2001 +0100 1.2 +++ b/doc-src/manual.bib Wed Jan 24 11:59:15 2001 +0100 1.3 @@ -538,6 +538,9 @@ 1.4 publisher = Prentice, 1.5 year = 1989} 1.6 1.7 +@book{SML,author="Robin Milner and Mads Tofte and Robert Harper", 1.8 +title="The Definition of Standard ML",publisher=MIT,year=1990} 1.9 + 1.10 @PhdThesis{monahan84, 1.11 author = {Brian Q. Monahan}, 1.12 title = {Data Type Proofs using Edinburgh {LCF}},