Galindo Losada, Julián. “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 3, no. 2 (December 9, 2016): 10. Accessed May 7, 2024. https://lajc.epn.edu.ec/index.php/LAJC/article/view/111.