@techreport{1994-MaxGeerling-SkeletonsformalTransformations,
  author		= "{Max Geerling}, A.",
  title			= "{Program transformations and skeletons:formal derivation of parallel programs}",
  number		= "CSI--R9411",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1994",
  code			= "icis.CSI-R9411",
  research_group	= "icis",
  class			= "Report"
}