BDDs

Advanced Topics in Programming Languages Series: Effective Static Race Detection

GoogleTalksArchive

Used to represent alias relations in some implementations.