Patenting Business Methods using a symbolic business process calculus | Hacker News Reader