A base for output specification by J. Dunier