You are about to access our book library "Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 9660) full version" .