Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings / - Gramlich, Bernhard. (Springer,, 2005)