Enviar aquest missatge de text: Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh.