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