Gacovski Z. Programming Language Theory and Formal Methods 2023