"Formal conceptualisation as a basis for a more procedural knowledge ..."

Javier Andrade Garda et al. (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics