Hoare, C.A.R.

299 __ $aHoare, C.A.R.
200 __ $aHoare $bC.A.R.