The computer aided exemplification - Luzer, Josip (Array, 2005)