I didn&#x27;t know about her either. Thanks for the reference. The Wikipedia page on the language looks like it was hit with some nationalist propaganda: claims credit for all kinds of concepts without backing it up. Her page looks legit, though. I&#x27;d like to see English versions of her original work and subsequent papers.<p>I also like that they tried the automatic programming with algebraic methods. Their approach might be interesting. A few correct-by-construction software and hardware approaches developed here took that approach. DDD toolkit for hardware comes to mind.<p>Hmm, we need more info on her to see just how much credit she&#x27;s missing and give it to her.