TY - DATA AU - Elöd Knuth, E.J. Neuhold TI - Specification and Design of Software Systems SN - 9783540396055 PY - 1983/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/BFb0051556 ER -