APA Style

NAUMANN, D. (2015). Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers . : Springer Cham.

MLA Style

NAUMANN, David. "Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers". : Springer Cham, 2015. Text.