no se si lo que buscas es la definicion cientifica de procedure pero lo que recuerdo de la Uni es que es una porcion de codigo que se utiliza varias veces en la vida util de la aplicacion, realiza una actividad y puede necesitar variables o no, no devuelve resultados y puede ser reutilizada cuantas veces se necesite
no se si eso te da una idea ..... espero que si