SOLAT - A Simple Object-Oriented Language Analyzing Tool. - Wolfgang Golubski; B. Pohlers (TOOLS (23), 1997)