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".
Language.pd: A class that illustrates the syntax and structure of Perfect by showing a trivial equivalence