"FDC-1 Floppy Disk interface Mk1"@cs .