Proving prope&em of pr~gr- by strutturai induction (1989)

by R M Bumtall
Venue:The Computer Journal