The While language. - Cláudio Vasconcelos; António Ravara (CoRR, 2016)

Revision Proposal for the Mool Language. - Cláudio Vasconcelos; António Ravara (CoRR, 2016)

From object-oriented code with assertions to behavioural types. - Cláudio Vasconcelos; António Ravara (SAC, 2017)