(untitled) - Blechert,S. (Synthesis, 1989)