About the Authors
- Keith Baverstock
Affiliation Department of Environmental Science, University of Kuopio, Kuopio, Finland
- Mauno Rönkkö
Affiliation Department of Computer Science, University of Kuopio, Kuopio, Finland
The authors have declared that no competing interests exist.
Wrote the paper: KB. Other: Conceived and developed the ideas with the exception of the relvance of Refinement Calculus to the model/hypothesis proposed: KB. Contributed the insight that refinement Calculus was an appropriate modality to deal with the model/hypothesis proposed by the first author: MR.