Searched: LPSALanguage *Prototyping *System *Using *Modular *Monadic *Semantics[^A-Za-z]