Text this: Pascal 8000 : Reference manual