Cita APA (7a ed.)

Perna, J. I., & George, C. W. (2006). Model checking RAISE applicative specifications.

Cita Chicago Style (17a ed.)

Perna, Juan I., y Chris W. George. Model Checking RAISE Applicative Specifications. 2006.

Cita MLA (8a ed.)

Perna, Juan I., y Chris W. George. Model Checking RAISE Applicative Specifications. 2006.