APA (7e ed.) Bronvermelding

Feitosa, S., Ribeiro, R. G., & Bois, A. R. D. (2021). Towards an Extrinsic Formalization of Featherweight Java in Agda. Centro Latinoamericano de Estudios en Informática.

Chicago (17e ed.) Bronvermelding

Feitosa, Samuel, Rodrigo Geraldo Ribeiro, en Andre Rauber Du Bois. Towards an Extrinsic Formalization of Featherweight Java in Agda. Centro Latinoamericano de Estudios en Informática, 2021.

MLA (9e ed.) Bronvermelding

Feitosa, Samuel, et al. Towards an Extrinsic Formalization of Featherweight Java in Agda. Centro Latinoamericano de Estudios en Informática, 2021.