Theoretical computer science stubs