Comparing Expressiveness of Set Constructor Symbols (2000)

by Agostino Dovier, Carla Piazza, Alberto Policriti
Venue:In Frontiers of Combining Systems