Hacker News Reader

Yes, Armstrong's thesis is a very good starting point:

The techniques in the conclusions and appendix starting about page 200 are useful in any language

Yes. This goes far beyond Erlang.

Looks great, thanks!