An explicit formulation for an algortihm and for procedure lenght for the JSP method for structured procedure design