We consider a number of dynamical adaptive backstepping control algorithms for the class of observable non-minimum phase nonlinear continuous uncertain systems (triangular and non-triangular), as well as systems with disturbances which can be converted to the parametric semi-strict feedback form. Nonlinear, sliding and second-order sliding control laws are developed. Adaptive backstepping algorithms with tuning functions, and modular parameter identification approaches are presented. BACK, a Maple symbolic algebra package, has been developed as a tool for the design of dynamical adaptive nonlinear controllers for regulation and tracking tasks.