Text this: Algorithmic logic / G. Mirkowska and A. Salwicki.