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

by Ian Stark
Citations:7 - 0 self