A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia:
"Foreword to the Special Issue on Symbolic Computation in Software Science";
Journal of Symbolic Computation,
69
(2015),
1
- 2.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)