CHARM its syntax and semantics - Ecker, Klaus; Göers, Jutta; Hirschberg, R. (Informatik-Bericht, 1990)