Title: Gyve, a programming language for protection and control in a concurrent processing environment
Subjects: Access control, Computers, Programming languages (Electronic computers)