The urgent programming language. might not be academic enough or excellent, merely as a better tool for better reasoning things.
