Kp. Automated Discovery of Inductive Theorems / Roy McCasland, Alan Bundy, and Serge Autexier // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 135-149

Edinburgh Research Explorer, 01.08.2017 http://www.research.ed.ac.uk/portal/en/persons/roy-mccasland(875ccce4-418f-4fea-9060-608e8c04d3f0).html