The Half-Eaten Boy on the Stairs: A Poem The Half-Eaten Boy on the Stairs: A Poem
٢٠١٣
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
٢٠٢٣
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
٢٠١٨
Functional and Logic Programming Functional and Logic Programming
٢٠١٨
The Domain (Unabridged) The Domain (Unabridged)
٢٠١٨
Things I Never Told My Doctor (Unabridged) Things I Never Told My Doctor (Unabridged)
٢٠١٨