A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions