"Sequent"@cs . "Sequent Computer Systems"@cs .