Title: Luo ji yu yi xue yan jiu
Subjects: Formal languages, Semantics