Manica, Luca and Rocca, Paolo and Franceschini, Davide and Massa, Andrea (2011) A Design Procedure for Sum and Difference Patterns by Means of Reactive Sorting Algorithm. [Technical Report]