APA (7th ed.) Citation

IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany), IFIP Technical Committee 2--Programming, & Bjorner, D. (1983). Formal description of programming concepts--II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982. North-Holland Pub. Co.

Chicago Style (17th ed.) Citation

IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany), IFIP Technical Committee 2--Programming, and D. Bjorner. Formal Description of Programming Concepts--II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982. Amsterdam: North-Holland Pub. Co, 1983.

MLA (9th ed.) Citation

IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany), et al. Formal Description of Programming Concepts--II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982. North-Holland Pub. Co, 1983.