@inproceedings{MuYi02, author = "Andrzej Murawski and Kwangkeun Yi", title = "Static Monotonicity Analysis for Lambda-definable Functions over Lattices", booktitle = "The Proceedings of the 3rd International Workshop on Verification, Model Checking and Abstract Interpretation", volume = "2294", series = "Lecture Notes in Computer Science", pages = "139-153", year = "2002" }