A compositional model of MOS circuits | lit.salon