author = { Dijkstra, Edsger W. },

title = { Formal development of programs and proofs },

publisher = {Addison-Wesley},

isbn = {0201172372},

keywords = { Programming (Electronic computers) , Electronic digital computers Programming , Computer programming , Congresses , Aufsatzsammlung , Programmverifikation },

year = {1990},

abstract = {Literaturangaben},

booktitle = {UT Year of programming series},

address = { Reading, Mass. [u.a.] },

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