"High Integrity Ravenscar."

Peter Amey, Brian Dobbing (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics