APA Style

LEUCKER, M. et al (2015). Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings . : Springer Cham.

MLA Style

LEUCKER, Martin. et al. "Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings". : Springer Cham, 2015. Text.