APA (7th ed.) Citation

Botinčan, M., Glavan, P., Runje, D., & Archives, T. P. S. U. C. Verification of Causality Requirements in Java Memory Model is Undecidable. http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf.

Chicago Style (17th ed.) Citation

Botinčan, Matko, Paola Glavan, Davor Runje, and The Pennsylvania State University CiteSeerX Archives. "Verification of Causality Requirements in Java Memory Model Is Undecidable." Http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf .

MLA (9th ed.) Citation

Botinčan, Matko, et al. "Verification of Causality Requirements in Java Memory Model Is Undecidable." Http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf, .