Logic from computer science : proceedings of a workshop held November 13-17, 1989 - Moschovakis, Yiannis N. (Mathematical Sciences Research Institute publications ;, 1991)