@inproceedings{6b836884d1a94237aa89630e66fd10d6,
title = "Mathematical foundations for program transformations",
author = "{Ben Ayed}, R. and J. Desharnais and M. Frappier and A. Mili",
year = "1998",
language = "English (US)",
isbn = "3540657657",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "319--321",
editor = "Pierre Flener",
booktitle = "Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers",
address = "Germany",
note = "8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998 ; Conference date: 15-06-1998 Through 19-06-1998",
}