She and Saydean Zeldin used to have a company called Higher Order Software.  I met them decades ago, when they were promoting that. They have an unusual formalism which never caught on.<p>There was a lot of interest in formal techniques in the late 1970s and early 1980s, but the technology didn&#x27;t go that way.