equal
deleted
inserted
replaced
536 author = {Robin Milner}, |
536 author = {Robin Milner}, |
537 title = {Communication and Concurrency}, |
537 title = {Communication and Concurrency}, |
538 publisher = Prentice, |
538 publisher = Prentice, |
539 year = 1989} |
539 year = 1989} |
540 |
540 |
|
541 @book{SML,author="Robin Milner and Mads Tofte and Robert Harper", |
|
542 title="The Definition of Standard ML",publisher=MIT,year=1990} |
|
543 |
541 @PhdThesis{monahan84, |
544 @PhdThesis{monahan84, |
542 author = {Brian Q. Monahan}, |
545 author = {Brian Q. Monahan}, |
543 title = {Data Type Proofs using Edinburgh {LCF}}, |
546 title = {Data Type Proofs using Edinburgh {LCF}}, |
544 school = {University of Edinburgh}, |
547 school = {University of Edinburgh}, |
545 year = 1984} |
548 year = 1984} |