Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10--12, 2007. Proceedings
scientific article; zbMATH DE number 5316556