Encoding Logical Theories of Programs. PhD thesis TD-7/97, Dipartimento di Informatica, Universit`a di (1997)

by M Miculan