APA Style

BAIER, C., TINELLI, C. (2015). Tools and Algorithms for the Construction and Analysis of Systems . : .

MLA Style

BAIER, Christel., TINELLI, Cesare. "Tools and Algorithms for the Construction and Analysis of Systems". : , 2015. Text.