@article{Naumann01,
author = "David A. Naumann",
title = "Calculating Sharp Adaptation Rules",
journal = ipl,
volume = 77, 
pages = {201--208},
year = 2001 }

@article{Naumann01a,
author = "David A. Naumann",
title = "Predicate Transformer Semantics of a Higher Order Imperative
Language with Record Subtyping",
journal = scp,
volume = 41, 
number = 1, 
pages = {1--51},
year = 2001 }

@inproceedings{Naumann01b,
author = "David A. Naumann",
booktitle = {ACM International Conference on Principles and Practice of Declarative Programming}, 
pages = {4--15},
title = {Ideal Models for Pointwise Relational and State-Free Imperative Programming},
editor = {Harald Sondergaard}, 
note = {\texttt{http: //www.cs.stevens-tech.edu/\~{}naumann/relambda.ps}},
year = 2001 }

@article{Naumann02,
author = "David A. Naumann",
title = "Soundness of Data Refinement for a  Higher Order Imperative Language",  
journal = tcs, 
volume = 278, 
number = {1--2},
pages = {271--301},
year = 2002 }

@article{Naumann98,
author = "David A. Naumann",
title = "A Categorical Model for Higher Order Imperative Programming",
journal = {Mathematical Structures in Computer Science},				  
number = 4,
volume = 8,
pages={351--399},
month = aug,
year = 1998 }

@inproceedings{Naumann98a,
author = {David A. Naumann},
title = {Beyond {F}un: Order and Membership in Polytypic Imperative Programming},
year = 1998,
booktitle = {Mathematics of Program Construction},
editor = {Johan Jeuring},
pages = {286--314},
series = {Springer LNCS},
volume = 1422 }

@incollection{Naumann98b,
author = {David A. Naumann},
title = {Towards squiggly refinement algebra},
year = 1998,
booktitle = {Programming Concepts and Methods},
note = {Proceedings of IFIP PROCOMET '98},
pages = {346--365},
editor = {David Gries and Willem-Paul de Roever},
publisher = {Chapman and Hall} }

@incollection{prcm,
author = "David A. Naumann",
title = "Predicate Transformer Semantics of an {O}beron-like Language",
booktitle = "Programming Concepts, Methods and Calculi",
editor = { Ernst-R\"{u}diger Olderog },
note = {Proceedings of IFIP PROCOMET '94},
pages = {467--487},
series = {{IFIP} {T}ransactions {A}-56},
publisher = {Elsevier},
year = 1994 }

@article{Naumann94,
author = "David A. Naumann",
title = "A Recursion Theorem for Predicate Transformers on Inductive Data Types", 
journal = ipl,
volume = 50,
pages = {329--336},
year = 1994 }

@article{ptho,
author = "David A. Naumann",
title  = "Predicate Transformers and Higher Order Programs",
journal = tcs,
volume = 150,
pages = {111--159},
year = 1995 }

@article{Naumann95a,
author = "David A. Naumann",
title  = "Data Refinement, Call by Value, and Higher Order Programs",
journal = "Formal Aspects of Computing", 
volume = 7,
pages = {652--662},
year = 1995 }

@inproceedings{obe,
author = "David. A. Naumann",
title = "On the Essence of {O}beron",
booktitle = "Proc., Conference on Programming Languages and System
Architectures with a special session in honor of Niklaus Wirth on his 60th
birthday", 
series = "Lecture Notes in Computer Science",
number = 782,
publisher = {Springer},
editor = {Jurg Gutknecht},
year = 1994 }

@inproceedings{BanerjeeNaumann02b,
title={Secure Information Flow and Pointer Confinement in a {J}ava-like Language},
author={Anindya Banerjee and David A. Naumann},
year=2002,
pages={253--270},
booktitle={15th IEEE Computer Security Foundations Workshop} }

@inproceedings{BanerjeeNaumann02a,
author={Anindya Banerjee and David A.~Naumann},
title={Representation Independence, Confinement and Access Control},
booktitle={POPL},
year=2002,
pages={166--177} }

@unpublished{BanerjeeNaumann02c,
author={Anindya Banerjee and David A.~Naumann},
title={Ownership Confinement Ensures Representation Independence for
  Object-Oriented Programs},
year=2002,
note={Journal version of \cite{popl02}, submitted.} }

@unpublished{HrominEtAl,
title={codeBLUE: a Bluetooth Interactive Dance Club System},
author={Dennis Hromin and  Michael Chladil and Natalie Vanatta and David Naumann and Farooq Anjum and Ravi Jain}, 
year=2002,
note={Submitted for publication.} }

@inproceedings{CavalcantiNaumann02b,
author={Ana Cavalcanti and David A. Naumann},
title={On a Specification-oriented Model for Object-orientation},
year={2002},
volume=5,
booktitle={Sixth Brazilian Symposium on Programming Languages},
editor={Edward Hermann Haeusler and Carlos Camarao de Figueiredo and 
       Alex de Vasconcellos Garcia and Renato F.G. Cerqueira},
pages={114--127} }

@inproceedings{CavalcantiNaumann02a,
author={A.~L.~C. Cavalcanti and D.~A.~Naumann},
title={Forward Simulation for Data Refinement of Classes},
volume={2391},
series=lncs,
booktitle={Formal Methods Europe},
editor={L.~Eriksson and P.~A. Lindsay},
pages={471--490}, 
year=2002 }

@inproceedings{CavalcantiNaumann99,
author = {A. L. C. Cavalcanti and D. A. Naumann},
title = {A Weakest Precondition Semantics for an Object-oriented Language of Refinement}, 
editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies},
series = {Springer LNCS}, 
booktitle = {FM'99 - Formal Methods, Volume II},
pages = {1439--1459},
number = 1709,
year = 1999 } 

@article{CavalcantiNaumann00,
author = {A. L. C. Cavalcanti and D. Naumann},
title = {A Weakest Precondition Semantics for Refinement of Object-Oriented Programs},
month = aug,
year = 2000,
volume = 26, 
number = 8,
pages = {713--728},
journal = {{IEEE} Transactions on Software Engineering} }