TY  - BOOK
AU  - Hartmains J
AU  -  Becvar Ed.
AU  -  Goods G
ED  - Symposium on mathematical foundations of computer science (1979 : Czechoslovakia)
TI  - Proceeding on mathematical foundations of computer science
T2  - Lecture notes in computer science; 14
U1  - B0aD65,8(B)p1,N79, N79 
PY  - 1979///
CY  - Berlin
PB  - Springer-verlag         
ER  -