@STRING{cacm="Communications of the ACM"}

@article{DBLP:journals/cacm/DijkstraLMSS78,
  author    = {E. W. Dijkstra and
               L. Lamport and
               A. J. Martin and
               C. S. Scholten and
               E. F. M. Steffens},
  title     = {On-the-Fly Garbage Collection: An Exercise in Cooperation},
  journal   = cacm,
  volume    = {21},
  number    = {11},
  year      = {1978},
  pages     = {966-975},
  ee        = {http://doi.acm.org/10.1145/359642.359655},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/lpar/Schirmer04,
  author    = {N. Schirmer},
  title     = {A Verification Environment for Sequential Imperative Programs
               in Isabelle/HOL},
  booktitle = {LPAR},
  year      = {2004},
  pages     = {398-414},
  ee        = {https://doi.org/10.1007/978-3-540-32275-7_26},
  crossref  = {DBLP:conf/lpar/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%  isbn      = {3-540-25236-3},
@proceedings{DBLP:conf/lpar/2004,
  editor    = {F. Baader and
               A. Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning,
               11th International Conference, LPAR 2004, Montevideo, Uruguay,
               March 14-18, 2005, Proceedings},
  booktitle = {LPAR},
  publisher = {Springer},
  series    = lncs,
  volume    = {3452},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/cacm/SewellSONM10,
  author    = {P. Sewell and
               S. Sarkar and
               S. Owens and
               F. Zappa Nardelli and
               M. O. Myreen},
  title     = {{x86-TSO}: a rigorous and usable programmer's model for x86
               multiprocessors},
  journal   = cacm,
  volume    = {53},
  number    = {7},
  year      = {2010},
  pages     = {89-97},
  ee        = {http://doi.acm.org/10.1145/1785414.1785443},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{Pizlo+2010PLDI,
author =	 {F. Pizlo and L. Ziarek and P. Maj and A.
                L. Hosking and E. Blanton and J. Vitek},
title =	 {Schism: Fragmentation-Tolerant Real-Time Garbage Collection},
booktitle =	 {Proceedings of the ACM SIGPLAN Conference on Programming
                Language Design and Implementation},
year =	 2010,
pages =	 "146--159",
month =	 jun,
address =	 {Toronto, Canada},
doi =		 {10.1145/1806596.1806615}
}

@PhdThesis{Pizlo201xPhd,
author =	 {F. Pizlo},
title =	 {Fragmentation Tolerant Real Time Garbage Collection},
school =	 {Purdue University},
year =	 {201x}
}

@inproceedings{DoligezGonthier:1994,
  author    = {D. Doligez and
               G. Gonthier},
  title     = {Portable, Unobtrusive Garbage Collection for Multiprocessor
               Systems},
  booktitle = {POPL'1994},
  year      = {1994},
  pages     = {70-83},
  publisher = {ACM Press},
  doi       = {10.1145/174675.174673},
}

@article{DBLP:journals/entcs/SchirmerW09,
  author    = {N. Schirmer and
               M. Wenzel},
  title     = {State Spaces - The Locale Way},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {254},
  year      = {2009},
  pages     = {161-179},
  ee        = {https://doi.org/10.1016/j.entcs.2009.09.065},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%  url       = {https://doi.org/10.1007/978-3-642-03359-9_27},
@inproceedings{DBLP:conf/tphol/OwensSS09,
  author    = {S. Owens and
               S. Sarkar and
               P. Sewell},
  title     = {A Better x86 Memory Model: {x86-TSO}},
  booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
               TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  pages     = {391--407},
  year      = {2009},
  crossref  = {DBLP:conf/tphol/2009},
  doi       = {10.1007/978-3-642-03359-9_27},
}

%  isbn      = {978-3-642-03358-2},
%  url       = {https://doi.org/10.1007/978-3-642-03359-9},
@proceedings{DBLP:conf/tphol/2009,
  editor    = {S. Berghofer and
               T. Nipkow and
               C. Urban and
               M. Wenzel},
  title     = {Theorem Proving in Higher Order Logics, 22nd International Conference,
               TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5674},
  publisher = {Springer},
  year      = {2009},
  doi       = {10.1007/978-3-642-03359-9},
 }
@article{ConcurrentIMP_AFP,
  author  = {P. Gammie},
  title   = {Concurrent {IMP}},
  journal = {Archive of Formal Proofs},
  month   = apr,
  year    = 2015,
  note    = {\url{http://isa-afp.org/entries/ConcurrentIMP.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
