Martins M, Madeira A, Barbosa LS.? 2014.??The role of logical interpretations on program development. Logical Methods in Computer Science . 10(1):1-39.