Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings - Gramlich, Bernhard (Springer Berlin Heidelberg, 2005)