Leo Marcus Telis Menas Expressibility of Output Equals Input. 645-662 1992 29 Acta Inf. 6/7 db/journals/acta/acta29.html#MarcusM92