Completeness of constructor systems (1990)

by A Middeldorp, Y Toyama