BibTeX

@article{TESL_Language-AFP, 

  author  = {Hai Nguyen Van and Frédéric Boulanger and Burkhart Wolff},
  title   = {A Formal Development of a Polychronous Polytimed Coordination Language},
  journal = {Archive of Formal Proofs},
  month   = jul,
  year    = 2019,
  url     = {http://isa-afp.org/entries/TESL_Language.html},
  note    = {Formal proof development},
  ISSN    = {2150-914x},
  class = "intjournal",

}