The heterogeneous tool set. Available under http://www.tzi.de/cofi/hets (0)

by T Mossakowski