Programming by multiset transformation (1993)

by J-P Banatre, D LeMetayer
Venue:Comm. of the ACM