TY - BOOK AU - Cremers A B ED - GI Symposium on Theoretical Computer Science( 6th : 1983 : Germany ) ED - GI Symposium on Theoretical Computer Science 6th TI - Theoretical computer science : proceedings U1 - 4 PY - 1982/// CY - Berlin PB - Springer Verlag KW - Computer science ER -