This should be linked as the original post: https://ir.cwi.nl/pub/5998

It says 1988 there.