Myydään seuraponi. Printer that prints 300gsm card. Karma dla psa z jagnięciną Biedronka. Specifying systems: the TLA+ language and tools for Hardware and software Engineers.