Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153, Elsevier 2006