Fork Algebras as a Sufficiently Rich Universal Institution
scientific article