On Specifications, Theories and Models with Higher Types, Information and Control (1986)

by A Poigne