"Max-Plus Quasi-interpretations."

Roberto M. Amadio (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics