Rigorous methods for software construction and analysis essays dedicated to Egon Borger on the occasion of his 60th birthday - Abrial, Jean-Raymond; Glasser, Uwe; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science); Algorithms; Computing Methodologies; Mathematics of Computing; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Theory of Computation