author = { Schmitz, Christoph },

title = { Spezifikation objektorientierter Systeme },

publisher = {Wilhelm-Schickard-Inst., Univ. Tübingen},

keywords = { Hochschulschrift , Forschungsbericht , Objektorientierung , Softwareentwicklung , Algebraische Spezifikation },

year = {2000},

abstract = {Literaturverz. S. 215 - 221},

booktitle = {WSI ; 2000-14},

address = { Tübingen },

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