1. Refactoring: Improving the Design of Existing Code;Fowler,1999
2. A proof assistant based formalisation of a subset of sequential Core Erlang;Bereczky,2020
3. Machine-checked natural semantics for Core Erlang: exceptions and side effects;Bereczky,2020