@inproceedings{gm02,
        author = {R. Giacobazzi and I. Mastroeni},
        title = {Compositionality in the puzzle of semantics},
        booktitle = {Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and 
	Semantics-Based Program Manipulation (PEPM'02)},
        pages = {87-97},
	publisher = {ACM press},
        year = 2002, }