# A refinement theory for μ∼Charts

> 2005 doctoral thesis by Greg Reeve at University of Waikato

**Wikidata**: [Q112867383](https://www.wikidata.org/wiki/Q112867383)  
**Source**: https://4ort.xyz/entity/a-refinement-theory-for-charts