static detefinat~on of dynomric p~opert{es of reeurw{ve procedures (1977)

by P Cousot, R Couaot
Venue:IFIP WG.2.2 Working Conf. on Formal Description of Programming Concepts, St-Andrews, Canada, North-Holland Pub. Co