Cita APA (7a ed.)
Gibbons, H. (1990). Integrating relational and imperative programming via a weakest precondition calculus. PQDT - UK & Ireland.
Cita Chicago Style (17a ed.)
Gibbons, H. "Integrating Relational and Imperative Programming via a Weakest Precondition Calculus." PQDT - UK & Ireland 1990.
Cita MLA (9a ed.)
Gibbons, H. "Integrating Relational and Imperative Programming via a Weakest Precondition Calculus." PQDT - UK & Ireland, 1990.
Precaución: Estas citas no son 100% exactas.