A useful -notation, Theoretical Computer Science 155 (1996)

by F Kamareddine, R P Nederpelt