Parallel and distributed derivations in the single-pushout-approach - Ehrig, Hartmut 1944-2016; Löwe, Michael (1990)