4 ms·
Solved by Margaret Hamilton. http://htius.com/ http://htius.com/ https://en.wikipedia.org/wiki/Universal_Systems_Language https://en.wikipedia.org/wiki/Univers
by carapace 4y ago
Solved by Margaret Hamilton. http://htius.com/ http://htius.com/ https://en.wikipedia.org/wiki/Universal_Systems_Language https://en.wikipedia.org/wiki/Universal_Systems_Language
Cf. "System Design from Provably Correct Constructs" https://archive.org/details/systemdesignfrom00mart https://archive.org/details/systemdesignfrom00mart