http://dbpedia.org/resource/Roger_Maude

data from the linked data cloud