A(m,n)={
  if(m,
    if(n,
      A(m-1, A(m,n-1))
    ,
      A(m-1,1)
    )
  ,
    n+1
  )
};