What guns did the Terminator use in his police station rampage?

If I remember correctly, it was a Franchi SPAS-12 and an Armalite (which could've been made by Armalite in the US, Sterling in the UK, or Howa Machinery in Japan) AR-18.