CrocoPat is an efficient, powerful and easy-to-use tool for manipulating
relations of arbitrary arity, including directed graphs. This manual provides
an introduction to and a reference for CrocoPat and its programming language
RML. It includes several application examples, in particular from the analysis
of structural models of software systems.Comment: 19 pages + cover, 2 eps figures, uses llncs.cls and
  cs_techrpt_cover.sty, for downloading the source code, binaries, and RML
  examples, see http://www.software-systemtechnik.de/CrocoPat

Beyer, Dirk