Occam: Specification and compiler correctness. Part I: The primary model (1994)

by Egon Borger, Igor Durdanovic, Dean Rosenzweig
Venue:In IFIP 13th World Computer Congress, Volume I: Technology/Foundations