PanLinx
русский
rus-000
обусловленное проектирование
English
eng-000
design by contract
PanLex