Synthesis of theories for specifications in tagh-format, Technische Universiteit Eindhoven (2003)

by M A Tas