Text this: Algebraiczne własności maszyn abstrakcyjnych /