@InProceedings{Muller-1994,
  author =	{Robert Muller},
  title =	{A Staging Calculus and its Application to the Verification 
                of Translators (Preliminary Report)},
  booktitle =	{Proceedings of the 21st Annual ACM SIGPLAN-SIGACT 
              	Symposium on Principles of Programming Languages},
  publisher =	{ACM},
  month =	{January},
  year =	{1994}, 
  pages =	{389-398},
  }