Сам процедурный тип и является в аналогии с ООП абстрактным методом, что хорошо видно в примере заглавного сообщения. Это никак не связано с NIL в процедурной переменной, который в такой аналогии является NIL в переменной-указателе на запись с методом.