Title: ISL : a semantics language for a translator writing system
Subjects: ISL (Computer program language)