A transition system is monogenic if for each γ there is at most one γ' such that γ⇒γ'.
R. Burstall. Language Semantics and Implementation. Course Notes. 1994.
Copyright © 2014 Barry Watson. All rights reserved.