Văn bản này: Algebraiczne własności maszyn abstrakcyjnych /