Murray, D. M.; Donner, A. and Klar, N. (systematic formalization)

Methods attributed to this originator across the library, derived from each method’s recorded source.