diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 06e7ac5..c72193a 100644 --- a/references.bib +++ b/references.bib @@ -326,3 +326,11 @@ issn = "1432-0525", month = "Dec" } + +@phdthesis{ellis08, + author = {Ellis, Martin}, + title = {Correct synthesis and integration of compiler-generated function units}, + school = {Newcastle University}, + url = {https://theses.ncl.ac.uk/jspui/handle/10443/828}, + year = {2008}, +}
\ No newline at end of file |