This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
Constructive theories with abstract data types for program synthesis
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
pp. 293-302
Not implemented yet !