Superlanguages - Clark, Tony; Sammut, Paul; Willans, James (Ceteva, 2008)