Imperative functional specialization. Berichte des Wilhelm-Schickard-Instituts WSI-96-28, Universität Tübingen (1996)

by Dirk Dussart, Peter Thiemann