TY - BOOK AU - Moneien B Ed. AU - Vidal-Naquet G Ed. ED - Symposium on therotical aspects of computer science (3 : 1986 : Orsay) TI - Proceeding on theoretical aspects of computer science T2 - Lecture notes in computer science; 210 U1 - D65,8(B)p1,N86, M6 PY - 1986/// CY - Berlin PB - Springer Verlag KW - Computer science ER -