形式的手法の一つであるプロセス代数CSP理論を用いたソフトウエア設計における段階的詳細化において、仕様を部分的にプロセスとして記述し、その合成として全体仕様を得るという従来からの手法の問題点を示し、その解決策として、遷移および非決定性を基本となるプロセスから削除することによって、仕様プロセスを導出するソフトウエア設計手法を新たに提案した。