"The abstract domain of Trapezoid Step Functions."

Agostino Cortesi, Giulia Costantini, Pietro Ferrara (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics