A specificational approach to database transformation (1990)

by R Hull, S Widjojo, D S Wile