A Formal Contract Language for Plugin-based Software Engineering. - Jens Dietrich 001; John G. Hosking; Jonathan Giles (ICECCS, 2007)