His early work was on formal methods in general, and later the Z notation in particular.
他早期的工作是一般的正式方法，後來特別是Z符號。