Title: A formal definition of the SIBYL programming languages
Subjects: Programming languages (Electronic computers)