The Derivation of an SECD Machine: Experiences with a Transformation System (working title (0)

by Robert M Wehrmeister