FormalAAPROMAS09