@misc{1148996,
  author = {David H Su},
  title = {User's manual for the NIST TTCN translator version 3.0:},
  year = {1991},
  month = {1991-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.4655},
  language = {en},
}