%0 Book Section %1 books/sp/92/Fitzgerald92 %A Fitzgerald, John S. %B Specifications of Database Systems %D 1992 %E Harper, David J. %E Norrie, Moira C. %I Springer %K dblp %P 106-134 %T Reasoning about a Modular Model-Oriented Formal Specification. %U http://dblp.uni-trier.de/db/books/collections/HN1992.html#Fitzgerald92 %@ 978-3-540-19732-4

@incollection{books/sp/92/Fitzgerald92, added-at = {2019-07-10T00:00:00.000+0200}, author = {Fitzgerald, John S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23b14c76cd4fc87d23f6242175ec5181d/dblp}, booktitle = {Specifications of Database Systems}, crossref = {books/sp/92/HN1992}, editor = {Harper, David J. and Norrie, Moira C.}, ee = {https://doi.org/10.1007/978-1-4471-3864-8_6}, interhash = {9d26137b61a8aaf349267f757f1fdc6b}, intrahash = {3b14c76cd4fc87d23f6242175ec5181d}, isbn = {978-3-540-19732-4}, keywords = {dblp}, pages = {106-134}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-09-27T12:23:14.000+0200}, title = {Reasoning about a Modular Model-Oriented Formal Specification.}, url = {http://dblp.uni-trier.de/db/books/collections/HN1992.html#Fitzgerald92}, year = 1992 }