Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings Börger, Egon Heftet / 2003 / Engelsk
Logic, Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Raschke, Alexander Heftet / 2021 / Engelsk
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings Bonfanti, Silvia Heftet / 2024 / Engelsk
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings Derrick John Heftet / 2012 / Engelsk
