@inproceedings{efanov2017constructing,
  title={Constructing the Formal Grammar of System Calls},
  author={Efanov, Nikolay and Emelyanov, Pavel},
  booktitle={Proceedings of the 13th Central \& Eastern European Software
	 Engineering Conference in Russia},
  pages={12},
  year={2017},
  location={St. Petersburg, Russia},
  organization={ACM}
}