TY - GEN
AU - Hornung, Günter
AU - Raulefs, Peter
TI - Lecture Notes in Computer Science: Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 1981
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation