IEEE Intl symp on foundations of computer science (27 1986) Foundations of computer science. Proceedings - IEEE 1986 Dewey Class. No.: 621.38195 / N863 "SER"