Software of 'Richard Devlin'