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.