specification and the heterogeneous tool set, Habilitation thesis (draft (2004)

by Heterogeneous