LaemmelR08

Ralf Lämmel, Ondrej Rypacek. The Expression Lemma. In Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, LNCS, Volume 5133, Pages 193-219, 2008.

BibTex Reference

@InProceedings{LaemmelR08,
   Author = {Lämmel, Ralf and Rypacek, Ondrej},
   Title = {{The Expression Lemma}},
   BookTitle = {{Mathematics of Program Construction, 9th International        Conference, MPC 2008, Marseille, France, July 15-18, 2008.        Proceedings}},
   Volume = {5133},
   Pages = {193--219},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)