Text this: Logic and algebra of specification /