author = { Potter, Ben AND Sinclair, Jane AND Till, David },

title = { An introduction to formal specification and Z },

edition = { 2. ed., [Nachdr.] } ,

publisher = {Prentice Hall},

isbn = {0132422077},

keywords = { Computer software , Development , Z (Computer program language) , Z Programmiersprache },

year = {1997},

abstract = {Literaturverz. S. 414-418},

booktitle = {Prentice Hall international series in computer science},

address = { London [u.a.] },

url = { http://slubdd.de/katalog?TN_libero_mab2 }