On decidability of skeletal sets [Abstract of thesis] Nguyen Xuang Dung (1990) Commentationes Mathematicae Universitatis Carolinae
On table-driven syntax-checking within on ALGOL compiler J. Szczepkowicz (1969) Applicationes Mathematicae