APA (7th ed.) Citation

Madeira, A. L. C., Barbosa, L. S., Hennicker, R., & Martins, M. A. (2018). A logic for the stepwise development of reactive systems.

Chicago Style (17th ed.) Citation

Madeira, Alexandre Leite Castro, Luís S. Barbosa, Rolf Hennicker, and Manuel A. Martins. A Logic for the Stepwise Development of Reactive Systems. 2018.

MLA (8th ed.) Citation

Madeira, Alexandre Leite Castro, et al. A Logic for the Stepwise Development of Reactive Systems. 2018.