Lançamentos por Velleman, Richard (University of Bath, UK)