PanLinx
suomi
fin-000
abstraktinen alue
English
eng-000
abstract domain
PanLex