SuZan

The implementation of Z specifications using program transformation systems: The SuZan project (Source: http://dl.acm.org/)

This software is also peer reviewed by journal TOMS.