Title (de) Titel
EPTCS
DOI
https://doi.org/10.4204/EPTCS.388