Some synchronous problems expressible in HPF - I.