@misc{Mann85-janus2,
  author	= {Mann, William C.},
  year		= {1985},
  title		= {Janus Abstraction Structure -- Draft 1},
  note		= {An informal project technical memo of the Janus project at ISI}
}