A useful -notation (1996)

by F Kamareddine, R P Nederpelt
Venue:Theoretical Computer Science