This question has been widely answered. Allow me please to incorporate an additional answer using a more pedagogical approach.
You can think function recursion as a stack of bubbles with two differentiate stages: pushing stage and bursting stage.
A) PUSHING STAGE (or "Pushing the stack", as OP call it)
0) The starting Bubble #0 is the MAIN function. It is blown up with this information:
- Local variables.
- The call to the next Bubble #1 (the first call to the recursive
function, MYFUNC).
1) Bubble #1 is blown up on its turn with this information:
- Parameters from the previous Bubble #0.
- Local variables if necessary.
- A returning address.
- Terminating check with a returning value (eg: if (counter == 0) {return 1}).
- A call to the next Bubble #2.
Remember that this bubble, as the other bubbles, is the recursive function MYFUNC.
2) Bubble #2 is blown up with the same information as Bubble #1, getting from the latter the necessary input (parameters). After this point, you can stack as many bubbles as you want inflating the information accordingly to the listed items in Bubble #1.
i) So you get as many bubbles as you want: Bubble #3, Bubble #4..., Bubble #i. The very last bubble has a NAIL in the terminating check. Be aware!
B) BURSTING STAGE (or "Popping the stack", as OP call it)
This stage happens when you reach the positive terminating check and the last bubble containing the nail is burst.
Let's say this stage happens in Bubble #3. The positive terminating check is reached and Bubble #3 is burst. Then the NAIL from this bubble is liberated. This nail falls on the underneath Bubble #2 and burst it. After this happens the nail follows its fall until it burst Bubble #1. The same happens to Bubble #0. It is important to notice that the nail follows the returning address in the bubble that it's being burst at the moment: the address tells the nail which direction to follow while falling.
At the end of this process, the answer is obtained and delivered to the MAIN function (or Bubble #0, which of course is not burst).
C) GRAPHICALLY (as OP asked)
This is the graphical explanation. It evolves from the bottom, Bubble #0 to top, Bubble #3.
/*Bubble #3 (MYFUNC recursive function): Parameters from Bubble #2,
local variables, returning address, terminating check (NAIL),
call (not used here, as terminating check is positive).*/
Pushing up to the bubble above ↑ ----------------------------------------------------- 🡓 Nail falls to Bubble #2
/*Bubble #2 (MYFUNC recursive function): Parameters from Bubble #1,
local variables, returning address, terminating check (not used),
call to Bubble #3.*/
Pushing up to the bubble above ↑ ----------------------------------------------------- 🡓 Nail falls to Bubble #1
/*Bubble #1 (MYFUNC recursive function): Parameters from Bubble #0,
local variables, returning address, terminating check (not used),
call to Bubble #2.*/
Pushing up to the bubble above ↑ ----------------------------------------------------- 🡓 Nail falls to Bubble #0
/*Bubble #0 (MAIN function): local variables, the first call to Bubble #1.*/
Hope this approach helps someone. Let me know if any clarification is needed.