Towards a Semantic Theory of CML (Extended Abstract). - William Ferreira 001; Matthew Hennessy (MFCS, 1995)

Semantic theories for concurrent ML. - William Ferreira 001 (1996)

A Theory of Weak Bisimulation for Core CML. - William Ferreira 001; Matthew Hennessy; Alan Jeffrey (J. Funct. Program., 1998)

A Behavioural Theory of First-Order CML. - William Ferreira 001; Matthew Hennessy (Theor. Comput. Sci., 1999)

Combining the typed lambda-calculus with CCS. - William Ferreira 001; Matthew Hennessy; Alan Jeffrey (Proof, Language, and Interaction, 2000)

Emergent: a novel data-set for stance classification. - William Ferreira 001; Andreas Vlachos 001 (HLT-NAACL, 2016)

Incorporating Label Dependencies in Multilabel Stance Detection. - William Ferreira 001; Andreas Vlachos 001 (EMNLP/IJCNLP (1), 2019)