TY - BOOK AU - IEEE Intl symp on foundations of computer science (27 TI - Foundations of computer science. Proceedings U1 - 621.38195 PY - 1986/// PB - IEEE ER -