Pascal Evolution of

Verifiable system software language

Capsule 1 Incorporated some features of
1