https://pubpdf.net/za/docs/making-research-methodologies-in-theoretical-computing-explicit.10866474