ML-1991-06: Bethke, Inge (1991) Finite Type Structures within Combinatory Algebras. [Report]
ML-1991-08: Bethke, Inge (1991) Going Stable in Graph Models. [Report]