Steffen Lange Sandra Zilles Algorithmic Learning: Formal Models and Prototypical Applications. 57-80 2005 conf/lit/2005 Leipziger Informatik-Tage db/conf/lit/lit2005.html#LangeZ05