Publications by 'Frantisek Hartman'