kmtz13] formulate synchronous variants of the UC (0)

by Katz