http://«Построение модели программного кода для обнаружения программных дефектов при помощи систем типов»