Eternal systems : first international workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, revised selected papers. ISBN 9783642280337. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.