الأساليب الرسمية, المملكة المتحدة, تدوين Z, علماء الحاسوب, هندسة البرمجياتجي. أنتوني هول (J. Anthony Hall)