Williams, 1995. Iterated Theory Base Change: A Computational Model, in: .