"Executable Specification of Novel Display Controllers."

David Antonio-Torres, Paul F. Newbury, Paul F. Lister (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics