@RomkoModus
Погоджуюсь, але...
а типи повернення і т.п не є визначальним фактором у понятті процедура-метод.
Для паскалеподібних мов саме цей фактор є визначальним. Погодьтесь, що Нікалаус Вірт є авторитетом в computer science. Наші любі викладачі іншого авторитета не знають, тому в навчальному процесі використовується саме ця термінологія.
(у випадку якщо це не є чисто об'єктно-орієнтована мова)
Чисто об'єктна мова smalltalk, бо інші не годяться через можливість доступу до полів класів напряму. А писати в ООП стілі є можливість і на асемблері.