ARTICLES:

%
@InProceedings{Lellahi02a,
  author =       "K. Lellahi and A. Zamulin",
  title =        "Towards
an Algebraic Formalization of Sequential Java-like Programs with Implicit
States",
  booktitle =    "Proc. ECOOP Workshop on Formal Techniques for Java Programs (FTFJP-2002), Malaga, Spain",
  pages =        "131--132",
  year =         "2002",
  month =	jun,
  publisher =    "Computing Science Department, University of Nijmegen, technical
report No. NIII-R0204",
  lipn-category = "autc"
}

@InProceedings{Lellahi03a,
  author =       "K. Lellahi and A. Zamulin",
  title =        "Algebraic Semantics of Statements of Sequential Java",
  booktitle =    "proc. ECOOP Workshop on Formal Techniques for Java Programs (FTFJP-2003), Darmstadt Germany",
  missingpages =        "??--??",
  year =         "2003",
  month =	jun,
  lipn-category = "autc"
}


@TechReport{Lellahi02b,
author={K. Lellahi and A. Zamulin},
title={Implicit state approach for formalisation of sequential Java-like programs},
year={2002},
number = 10,
institution = {LIPN},
lipn-category = {rapl}
}

@TechReport{Lellahi03b,
author={K. Lellahi and A. Zamulin},
title={A state-based algebraic semantics of statements of sequential Java},
year={2003},
number = 3,
institution = {LIPN},
lipn-category = {rapl}
}