Text this: An operational domain-theoretic treatment of recursive types.