Constructive theories with abstract data types for program synthesis

1987

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

in: Mathematical logic and its applications, Berlin,