Laura Kovacs, Teimuraz Kutsia,
"Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013"
, Serie RISC Report Series, Nummer 13-06, RISC Hagenberg, Hagenberg, 2013
Original Titel:
Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013