Text this: Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture.