Ana Cavalcanti, Phil Clayton, Colin O Halloran. From control law diagrams to Ada via ::::Circus::::. Formal Asp. Comput., 23(4):465-512, 2011. [doi]
@article{CavalcantiCO11,
title = {From control law diagrams to Ada via ::::Circus::::},
author = {Ana Cavalcanti and Phil Clayton and Colin O Halloran},
year = {2011},
doi = {10.1007/s00165-010-0170-3},
url = {http://dx.doi.org/10.1007/s00165-010-0170-3},
researchr = {https://researchr.org/publication/CavalcantiCO11},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {23},
number = {4},
pages = {465-512},
}