Names, Equations, Relations: Practical Ways to Reason about new (1996)

by Ian Stark
Citations:6 - 0 self