A Type Checking Tool for a Formal Specification Language. - Nikos Mylonakis; J. Perez Campo (GULP-PRODE (2), 1994)