An Example of Hierarchical Program Specification. - Bálint Dömölki (Abstract Software Specifications, 1979)

Prolog in Practice. - Bálint Dömölki; Péter Szeredi (IFIP Congress, 1983)