Title: A formal language approach to the composition of secure systems
First published: 1994