Text this: Quantales and their applications /