When philosophy (of science) meets formal methods: a citation analysis of early approaches between research fields | Publicación