bibliography.bib

@Book{walden1995,
author = {Kim Wald\'{e}n and Jean-Marc Nerson},
ALTeditor = {},
title = {Seamless Object-Oriented Software Architecture. Analysis and Design of Reliable Systems},
publisher = {Prentice Hall},
year = {1995},
edition = {1st},
}

@Book{appel2004,
author = {Andrew W. Appel and Jens Palsberg},
ALTeditor = {},
title = {Modern Compiler Implementation in Java},
publisher = {Cambridge University Press},
year = {2004},
edition = {2nd},
}

@Book{stroustrup1997,
author = {Bjarne Stroustrup},
ALTeditor = {},
title = {The C++ Programming Language},
publisher = {Addison-Wesley},
year = {1997},
edition = {3rd},
}

@Book{ostroff2001,
author = {Richard F. Paige and Jonathan S. Ostroff},
ALTeditor = {},
title = {Metamodelling and Conformance Checking with PVS},
publisher = {},
year = {2001},
edition = {},
}

@Book{ostroff1999,
author = {Richard F. Paige and Jonathan S. Ostroff},
ALTeditor = {},
title = {Developing BON as an Industrial-Strength Formal Method},
publisher = {},
year = {1999},
edition = {},
}

@Book{ostroff1998,
author = {Richard F. Paige and Jonathan S. Ostroff},
ALTeditor = {},
title = {From Z to BON/Eiffel},
publisher = {},
year = {1998},
edition = {},
}

@misc{martin2002,
author = {Robert C. Martin},
ALTeditor = {},
title = {{\textit{The Visitor Family of Design Patterns}. Rough chapter from The Principles, Patterns, and Practices of Agile Software Development}},
publisher = {Prentice Hall},
year = {2002},
howpublished = "\url{http://www.objectmentor.com/resources/articles/visitor.pdf}",
edition = {},
}

@misc{meyer2001,
author = {Bertrand Meyer},
ALTeditor = {},
title = {{\textit{An Eiffel Tutorial}}},
publisher = {Interactive Software Engineering, Inc. (ISE)},
year = {2001},
howpublished = "\url{http://archive.eiffel.com/doc/online/eiffel50/intro/language/tutorial.pdf}",
edition = {},
}

@misc{bonc,
author = {Joseph Kiniry and Fintan Fairmichael},
ALTeditor = {},
title = {{\textit{BONc}}},
publisher = {KindSoftware},
year = {2001},
howpublished = "\url{http://kindsoftware.com/products/opensource/BONc/}",
edition = {},
}

@misc{gobo,
author = {Eric Bezault},
ALTeditor = {},
title = {{\textit{Gobo: Eiffel Tools and Libraries}}},
publisher = {},
year = {},
howpublished = "\url{http://www.gobosoft.com/}",
edition = {},
}

@misc{ebon,
author = {Joseph Kiniry},
ALTeditor = {},
title = {{\textit{The Extended \textsc{BON} Tool Suite}}},
publisher = {},
year = {},
howpublished = "\url{http://ebon.sourceforge.net/}",
edition = {},
}

@misc{msdn2009,
author = {MSDN},
ALTeditor = {},
title = {{\textit{Partial Class Definitions (C\# Programming Guide)}}},
publisher = {Microsoft},
year = {2009},
howpublished = "\url{http://msdn.microsoft.com/en-us/library/wa80x488(v=vs.80).aspx}",
edition = {},
}

@misc{eiffel2006,
author = {Eiffel},
ALTeditor = {},
title = {{\textit{EiffelStudio Integrated Development Environment}}},
publisher = {Eiffel},
year = {2006 - 2010},
howpublished = "\url{http://eiffelstudio.origo.ethz.ch/}",
edition = {},
}

@misc{bonide,
author = {Ralph Skinner},
ALTeditor = {},
title = {{\textit{An Integrated Development Environment for Business Object Notation}}},
publisher = {},
year = {2010},
howpublished = "\url{http://kindsoftware.com/documents/reports/Skinner10.pdf}",
edition = {},
}

@misc{boncase,
author = {Richard Paige and Liliya Kaminskaya and Jonathan Ostroff and Jason Lancaric},
ALTeditor = {},
title = {{\textit{BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning}}},
publisher = {},
year = {2010},
howpublished = "\url{http://www.jot.fm/issues/issue_2002_08/article5/}",
edition = {},
}

@misc{mission,
author = {Eiffel},
ALTeditor = {},
title = {Eiffel development mission},
publisher = {},
year = {2007},
howpublished = "\url{http://dev.eiffel.com/Mission}",
edition = {},
}