compute formal address