@inproceedings{MuYi2002,
   author = {Andrzej Murawski and Kwangkeun Yi},
   title = {Static Monotonicity Analysis for Lambda-definable Functions over Lattices},
   booktitle = {Third International Workshop on Verification, Model Checking and Abstract Interpretation},
   series = {Lecture Notes on Computer Science},
   address = {Venice, Italy},
   month = {January},
   year = {2002},
   category = {program-analysis-tools conference},
   format = {pdf},
}