Jürgen Dassow Gheorghe Paun Grzegorz Rozenberg 155-213 1997 Handbook of Formal Languages (2) https://doi.org/10.1007/978-3-662-07675-0_4 reference/hfl/1997-2 db/reference/hfl/hfl2.html#DassowPR97