Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. _From Boolean Functional Equations to Control Software_. Vol. abs/1106.0468. CoRR, Technical Report, 2011. http://arxiv.org/abs/1106.0468 (accessed May 2, 2024).