原稿 - 英語 - 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.