@book{spivey92,
title={{The Z Notation: A Reference Manual, 2nd edition}}, 
author={M. Spivey},
publisher="Prentice Hall",
year=1992}

@book{davies96,
title={{Using Z: Specification, Refinement and Proof}},
author={J. Davies and J. Woodcock},
publisher="Prentice Hall",
year=1996}

@book{jones90,
title={{Systematic Software Development Using VDM}},
author="C. Jones",
publisher="Prentice Hall",
year=1990}

@book{guttag93,
title={{Larch: Languages and Tools for Formal Specification}},
author="J. Guttag and J. Horning",
publisher="Springer-Verlag",
note="available from http://www.sds.lcs.mit.edu/spd/larch/",
year=1993}


@inproceedings{jml03,
author="L. Burdy and Y. Cheon and D. Cok and M. Ernst and J. Kiniry and G. Leavens and K. Leino and E. Poll",
title={{An overview of JML tools and applications}},
editor="T. Arts and W. Fokkink",
booktitle={Eighth International Workshop on Formal Methods for Industrial Critical Systems},
note={Volume 80 of Electronic Notes in Theoretical Computer Science},
publisher="Elsevier",
year=2003}

@inproceedings{aal02,
author="S. Khurshid and D. Marinov and D. Jackson",
title={{An Analyzable Annotation Language}},
booktitle={17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications},
year=2002}

@inproceedings{kj00,
author="S. Khurshid and D. Jackson", 
title={{Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer}},
booktitle={15th IEEE International Conference on Automated Software Engineering},
year=2000}

@INPROCEEDINGS{shimizu00,
AUTHOR = "Kanna Shimizu and David L. Dill and Alan J. Hu",
TITLE = {{Monitor-Based Formal Specification of PCI}},
BOOKTITLE="3rd International Conference of Formal Methods in Computer-Aided Design",
YEAR = "2000"}

@inproceedings{lano99,
author={K. Lano and A. Evans},
title={{Rigorous Development in UML}},
booktitle={2nd International Conference on Fundamental Approaches to Software Engineering},
year={1999}
}

@inproceedings{reynolds02,
author={J. Reynolds},
title={{Separation Logic: a Logic for Shared Mutable Data Structures}},
booktitle={IEEE Symposium on Logic in Computer Science},
year=2002}

@inproceedings{moller01,
author={A. M{\o}ller and M. Schwartzbach},
title={The Pointer Assertion Logic Engine},
editor={M. Soffa},
booktitle={ACM SIGPLAN Conference on Programming Language Design and Implementation},
year=2001}
