STACS 91 / - Choffrut, Christian.; Jantzen, Matthias, (Springer-Verlag,, 1991)