Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16--18, 2009. Proceedings
scientific article; zbMATH DE number 5610916