Heterogeneous Notations for Pure Formal Method Integration - Research Database, The University of York Other