Title: Users manual for the shop5 system
First published: 1988