Return to Article Details Making research methodologies in theoretical computing explicit Download Download PDF