"Elucidate: a tool to aid comprehension of concurrent object oriented ..."

Chris Exton (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics