Home

Back

Julian Rathke: BibTex


@phdthesis{Rat97-symtvp,
  author	= {Rathke, Julian},
  year		= {1997},
  title		= {Symbolic techniques for value-passing calculi},
  school	= {University of Sussex},
}