Text this: Logic of programming and calculi of discrete design /