@TechReport{	  agotnes:Ifi-06-15,
  author	= "Wojciech Jamroga and Thomas {\AA}gotnes",
  title		= "Modular Interpreted Systems: A Preliminary Report",
  year		= 2006,
  institution	= "Clausthal University of Technology",
  number	= "IfI-06-15"
}