GALINDO LOSADA, J. A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development. Latin-American Journal of Computing, v. 3, n. 2, p. 10, 9 dez. 2016.