author = { Hornung, Günter AND Raulefs, Peter },

title = { Lecture Notes in Computer Science: Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

isbn = {1611-3349},

year = {1981},

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