%0 Journal Article %1 Spivey:89 %A Spivey, M. %D 1989 %J Software Engineering Journal %K imported %N 1 %P 40--50 %T An Introduction to Z and Formal Specifications %V 4

@article{Spivey:89, added-at = {2006-05-10T15:52:21.000+0200}, author = {Spivey, M.}, biburl = {https://www.bibsonomy.org/bibtex/2be18bb827a8ec47c058dfe491d7e73e0/ademoor}, interhash = {cbe53a490b5891e75875e97e930c053f}, intrahash = {be18bb827a8ec47c058dfe491d7e73e0}, journal = {Software Engineering Journal}, keywords = {imported}, month = {January}, number = 1, pages = {40--50}, timestamp = {2006-05-10T15:52:21.000+0200}, title = {An Introduction to {Z} and Formal Specifications}, volume = 4, year = 1989 }