A general axiom of assignment (1982)

by J Morris
Venue:of Program. Methodology, Proc. of the 1981 Marktoberdorf Summer School