The specification for monimux-type programs