Оригинальный текст - Английский - This led to further work on computer security...

This led to further work on computer security that prefigured modern security engineering techniques producing closed form processes that terminate.