Pātuhitia tēnei: Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh.