автор: A. M. Pitts

M. P. Fourman & P. T. Johnstone: Applications of Categories in Computer Science