TY  - BOOK
AU  - liny (peter)
TI  - an interoction to formal languages and automate
PB  - NAROSA PUBLISIHING
ER  -