S. K. Winker Larry Wos Procedure Implementation Through Demodulation and Related Tricks. 109-131 1982 conf/cade/1982 CADE db/conf/cade/cade82.html#WinkerW82 http://dx.doi.org/10.1007/BFb0000054