"Static Monotonicity Analysis for lambda-definable Functions over Lattices."

Andrzej S. Murawski, Kwangkeun Yi (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics