http://dbpedia.org/resource/Roger_Maude
data from the linked data cloud