Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)