An abstract PPL-machine - Reif, Wolfgang 1960- (1986)