TY - BOOK AU - Hartmains J AU - Goes G TI - International conference on mathematical foundations of computer science T2 - Lecture notes in computer science; 28 U1 - B0aD65,8(B), L5 PY - 1975/// CY - Berlin PB - Springer Verlag KW - Mathematics ER -