English Institution (computer science) Cited by user Laiwoonsiu on 29 Jan 2021 The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used…