Cita APA (7th ed.)
Drabent, W. (May 12, 2017). Logic + control: On program construction and verification. arXiv.org.
Cita Chicago (17th ed.)
Drabent, Włodzimierz. "Logic + Control: On Program Construction and Verification." ArXiv.org May 12, 2017.
Cita MLA (9th ed.)
Drabent, Włodzimierz. "Logic + Control: On Program Construction and Verification." ArXiv.org, May 12, 2017.
Atenció: Aquestes cites poden no estar 100% correctes.