Title: NUCLEOL as a formal system
Subjects: Computer programming, NUCLEOL