Tang, Daniel (2010) The formal generation of models for scientific simulations. PhD thesis, University of Leeds.