IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, & Moller, B. (1991). Constructing programs from specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991. Amsterdam: North-Holland.
Παραπομπή Chicago StyleIFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, and B. Moller. Constructing Programs From Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference On Constructing Programs From Specifications, Pacific Grove, CA, USA, 13-16 May, 1991. Amsterdam: North-Holland, 1991.
Παραπομπή MLAIFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, and B. Moller. Constructing Programs From Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference On Constructing Programs From Specifications, Pacific Grove, CA, USA, 13-16 May, 1991. Amsterdam: North-Holland, 1991.