Title: An application of Groper-II
First published: 1976