Susanne Wiefel Gerhard Trefz STATEMATE. 776-776 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#WiefelT94