Logical relations and data abstraction. Extended abstract (0)

by E P Robinson