Programming languages - Tucker (2007)