Composition and submachine concepts (2000)

by E Börger, J Schmid
Venue:Computer Science Logic (CSL 2000