Černobrog, L. V. Aksiomatizacija statičeskogo kontrolja tipov dlja programm s operatorami perechoda.
Chicago Style (17th ed.) CitationČernobrog, L. V. Aksiomatizacija Statičeskogo Kontrolja Tipov Dlja Programm S Operatorami Perechoda.
MLA (9th ed.) CitationČernobrog, L. V. Aksiomatizacija Statičeskogo Kontrolja Tipov Dlja Programm S Operatorami Perechoda.
Warning: These citations may not always be 100% accurate.
