Cita APA (7a ed.)
Drabent, W. (May 12, 2017). Logic + control: On program construction and verification. arXiv.org.
Cita Chicago Style (17a ed.)
Drabent, Włodzimierz. "Logic + Control: On Program Construction and Verification." ArXiv.org May 12, 2017.
Cita MLA (9a ed.)
Drabent, Włodzimierz. "Logic + Control: On Program Construction and Verification." ArXiv.org, May 12, 2017.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.