sinclair zx-80 is produced by which computer manufacturer?
(AND computer.computer_manufacturer_brand (JOIN computer.computer_manufacturer_brand.computer_models m.0899v))