. . . "1983" . "Canonical Form" .