Utpal Banerjee José Moreira Michel Dubois Per Stenström Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia, Italy, May 7-9, 2007 Conf. Computing Frontiers ACM 2007 db/conf/cf/cf2007.html 978-1-59593-683-7