Semantic Integration Of Heterogeneous Software Specifications door Martin Grobe-Rhode & Martin Große-Rhode