'Oumuamua: An analysis of the debate regarding the first interstellar visitor

Capability-based Type Systems for Concurrency Control