A simple transfer lemma for algebraic specifications

(1982) Information Processing Letters : a journal devoted to the rapid publication of short contributions in the field of information processing, volume 14, issue 2, pp. 80 - 85

(Article)