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

Методи, пов'язані з цим автором. 1 метод