Moving between logical systems (1995)

by A Tarlecki
Venue:Recent Trends in Data Type Specification