James Tiberius Racko
-
Formal software engineering for computational modelling
Nordic Journal of Computing