Authors: Michael Berks, Philip A. Tresadern, Graham Dinsdale, Andrea Murray, Tonia Moore, Ariane L. Herrick, Christopher J. Taylor - Lecture notes in computer science 2014 cited by 42
