Work on Intentional Programming started at Microsoft Research in the 90s. Simonyi has been on this path for 20+ years.

Did the Intentional website have any info on their work before the acquisition? There's nothing there now.