Towards a computer aided science of interactions
Flávio Soares Corrêa da Silva Wamberto Weber Miranda Peixoto de Vasconcelos; David S Robertson
São Paulo IME-USP 2014
Available at
IME - Inst. Matemática e Estatística
(https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/ )(GetIt)