On: Learn TLA+ (2018)

[k__]

Ah, okay.

I had the impression it was about somehow writing a program in a more strict language and then exporting it to Java.

I don't do much algorithmic design.