(1985). Logics of programs: Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh.
Cita Chicago Style (17a ed.)Logics of Programs: Brooklyn, June 17-19, 1985 : Proceedings / Edited by Rohit Parikh. 1985.
Cita MLA (9a ed.)Logics of Programs: Brooklyn, June 17-19, 1985 : Proceedings / Edited by Rohit Parikh. 1985.
Precaución: Estas citas no son 100% exactas.