Pierre Flener, Ute Schmid: Trace-Based Programming. Encyclopedia of Machine Learning 2010: 989