Unwinding and inference control (1984)

by J A Goguen, J Meseguer
Venue:In: Proc. IEEE Symp. on Security and Privacy