A Logic for the Russell Programming Language (1984)

by H-J Boehm