Uniform ideals and strictness analysis (1991)

by C Ernoult, A Mycroft
Venue:In Proc. of 18th Int. Colloq. on Automata, Languages and Programming, LNCS