A general axiom of assignment (1982)

by J Morris