MCDPL language and software tools

Computational Monotone Co-Design (PDF).

General applied category theory background

See the ACT4E book (PDF).