3. Perfect Language

The source code and proof output obtained for the source code found in section 3. Perfect Language of the paper "Software Refinement with Perfect Developer".


http://www.cs.nuim.ie/toolap/pd/RefinementPD/Language.html - Updated 27/06/2005