Region analyis and a p-calculus with groups (2000)

by Silvano Dal Zilio, Andrew D Gordon
Venue:In 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000