Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18--20, 2013. Proceedings
scientific article; zbMATH DE number 6208815