JirĂ­ Wiedermann: Towards Machines That Can Think. SOFSEM 1997: 122-141