W90-0112 design proceeds hierarchically by top-down refinement . A formal specification interface
A92-1039 approached by techniques like top-down refinement , modularization and so on ,
C02-1128 of a formula through stepwise top-down refinements of a partial proof ( Ranta ,
hide detail